#ifndef __TIMESTAMP_H__
#define __TIMESTAMP_H__
extern char* print_sys_time(void);

#endif
